В.И. Игошин “Математическая логика”. Издательство “ИНФРА-М”, Москва, 2016г.